利用酉几何构作non-Cartesion认证码

利用酉几何构作了一个non-Cartesion认证码,计算了它的参数;当编码规则按等概率分布选取时,求出了模仿攻击和替换攻击成功的概率。     

Modeling multiple stage manufacturing systems with generalized costs and capacity issues

This study introduces one modeling methodology that describes a broad range of multiple stage production planning issues, including multiple limited resources with setup times and joint fixed cost relationships. An existing production system is modeled in this fashion, creating a new set of 1350 highly generalized benchmark problems. A computational study is conducted with the 1350 benchmark problems introduced in this paper and 2100 benchmark problems, with more restrictive assumptions, from the existing literature. The relative merits of a decomposition‐based algorithm and a neighborhood search technique known as NIPPA, or the Non‐sequential Incremental Part Period Algorithm, are assessed. NIPPA is generally the more successful of the two techniques, although there are specific instances in which the decomposition‐based algorithm displayed a distinct advantage. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

Optimally scheduling interfering and non‐interfering cranes

This article treats the problem of scheduling multiple cranes processing jobs along a line, where cranes are divided into different groups and only cranes in the same group can interfere with each other. Such crane scheduling problems occur, for example, at indented berths or in container yards where double rail‐mounted gantry cranes stack containers such that cranes of the same size can interfere with each other but small cranes can pass underneath larger ones. We propose a novel algorithm based on Benders decomposition to solve this problem to optimality. In a computational study, it is shown that this algorithm solves small and medium‐sized instances and even many large instances within a few seconds or minutes. Moreover, it improves several best known solutions from the literature with regard to the simpler problem version with only one crane group. We also look into whether investment in more complicated crane configurations with multiple crane groups is actually worthwhile.     

基于四面体六棱长的三站测时差立体定位方法

针对在三站测时差立体定位中辐射源位置不能唯一确定的情形,提出一种简单易懂、计算方便、可操作性强的解析解方法,以解决求解双曲面方程组的繁琐问题。首先利用三站相互之间的距离、由量测时差值换算得到的两个距离差值,以及辐射源至主站的距离(设为变量r)总共6个参数,立足于已知6条边长判断能否构成四面体的理论,求得r的取值范围;然后在r的值域范围内任意给定某个具体值,加上已知三站的地理位置,通过解三元一次方程组的形式获得目标在三站所在平面内垂直投影的坐标(设为变量X_h),并计算出目标至垂直投影的距离(设为变量h);最后由X_h和h给出目标在地心地固直角坐标系下的坐标。     

基于等方性系数的地形可导航性的方向性研究

地形可导航性分析的研究中 ,当飞行器从不同方向进入特定区域时 ,怎样评价该区域提供的可导航性能力一直是地形匹配中的重要问题。本文建立了地形本质特征的数学过程描述———分数布朗运动 ;基于分形几何理论 ,通过分析地形表面的轮廓谱矩和表面谱矩的特性 ,提出一种地形特征度量值———等方性系数 ;并且分别得出了等方性好与差时 ,适配区域的匹配概率与方向之间的定性关系 ,有助于提高地形可导航性分析的效率。     

高等几何中共点线(共线点)问题的证明

通过一题十种证法试图说明,共点线（共线点）问题的证明在高等几何中的重要作用。     

利用微分几何参数研究小型阵列的布局

以微分几何为工具,分析和研究了小型阵列的阵列流形的微分几何参数与信号到达方向估计精度之间的关系,并在此基础上推导分析了小型阵列在各个方向上的测向性能与阵列几何布局之间的关系,最后给出小型阵列布局的设计思路。并以五元阵为例,对几种不同的几何布局进行仿真对比和分析,验证了设计思路的正确性。     

Barrier Lyapunov functions-based dynamic surface control with tracking error constraints for ammunition manipulator electro-hydraulic system

This paper focuses on the dynamic tracking control of ammunition manipulator system. A standard state space model for the ammunition manipulator electro-hydraulic system (AMEHS) with inherent non-linearities and uncertainties considered was established. To simultaneously suppress the violation of tracking error constraints and the complexity of differential explosion, a barrier Lyapunov functions-based dynamic surface control (BLF-DSC) method was proposed for the position tracking control of the ammunition manipulator. Theoretical analysis prove the stability of the closed-loop overall system and the tracking error converges to a prescribed neighborhood asymptotically. The effectiveness and dynamic tracking performance of the proposed control strategy is validated via simulation and experi-mental results.     

二维约束点集Delaunay三角剖分算法研究

在已有算法基础上,提出了任意二维约束点集Delaunay三角剖分的新算法,算法仅在局部产生少量新点,并在局部对三角剖分进行修改,便可保证整体三角剖分符合Delaunay性质.     

几何约束的改进弹性体网格变形方法研究及应用

针对现有弹性体网格变形方法无法有效抑制网格单元出现"负体积"和过度畸变等问题,引入体积弹性模量约束和挤压弹性模量约束,提出一种基于几何约束的改进弹性体法。借助Patrick网格质量参数,选取三维长方体边界在旋转、平移和伸展变形三种方式下的大幅度运动,对比研究引入几何约束后的改进效果。仿真计算二维NACA0012翼型的俯仰振荡和三维伸缩翼变形过程的气动特性,结果表明:基于几何约束的改进弹性体法显著提高了变形网格的鲁棒性,尤其在大变形时能够有效约束较差网格单元,改善经典方法存在的问题,可为非定常流场问题的求解提供有力支撑。